| 1. | Embedded system modeling based on dual transitions petri net
网的嵌入式系统建模 |
| 2. | Formal models of uml statechart diagrams based on petri nets
状态图的形式化模型 |
| 3. | Security workflow management model based on petri net
网的安全工作流管理系统模型 |
| 4. | Petri net based simulation of stochastic inventory system
网的随机库存系统仿真 |
| 5. | Modeling method of hybrid systems using extended petri nets
网的混合系统建模方法 |
| 6. | A study and design of the simulated language for petri net
网仿真语言的设计与研究 |
| 7. | Petri net based modeling of intelligent manufacturing system
网的智能制造系统建模 |
| 8. | Liveness analysis of synthesis of petri nets shared subnet
网共享子网合成活性分析 |
| 9. | Formal analysis of non - repudiation protocols by using petri nets
网的认证协议分析 |
| 10. | A hierachical workflow model based on petri nets
网的装备维修流程通用模型研究 |
